- конечная интерпретация
- finite interpretation мат.
Русско-английский научно-технический словарь Масловского. 2015.
конечная интерпретация
Look at other dictionaries:
Индия — У этого термина существуют и другие значения, см. Индия (значения). Республика Индия भारत गणराज्य Bhārat Gaṇarājya Republic of India … Википедия
Индия — (India) История Индии, географическое положение Республики Индия Административное деление Индии, растительный и животный мир Индии, внешняя и внутренняя политика Индии, культура Индии, экономика Индии Содержание Содержание Раздел 1. История .… … Энциклопедия инвестора
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… … Православная энциклопедия
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
КВАНТОВАЯ МЕХАНИКА — (волновая механика), теория, устанавливающая способ описания и законы движения микрочастиц (элем. ч ц, атомов, молекул, ат. ядер) и их систем (напр., кристаллов), а также связь величин, характеризующих ч цы и системы, с физ. величинами,… … Физическая энциклопедия
ГОСТ Р ИСО 14040-2010: Экологический менеджмент. Оценка жизненного цикла. Принципы и структура — Терминология ГОСТ Р ИСО 14040 2010: Экологический менеджмент. Оценка жизненного цикла. Принципы и структура оригинал документа: 3.33 анализ неопределенности (uncertainty analysis): Систематическая процедура количественного определения… … Словарь-справочник терминов нормативно-технической документации
Формулировка через интегралы по траекториям — ВНИМАНИЕ. Статья не полностью отражает современное состояние вопроса, содержит существенные пробелы и неточности. //7 янв 2010 Квантовая механика Принцип неопределённости Гейзенберга … Википедия
МОДЕЛЕЙ ТЕОРИЯ — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, изучающий модели формальных теорий, соотношения между моделями и теориями и преобразования моделей. Предшественниками теории моделей были Б. Больцано и Э. Шредер, осознавшие понятие выполнимости… … Философская энциклопедия
метод — метод: Метод косвенного измерения влажности веществ, основанный на зависимости диэлектрической проницаемости этих веществ от их влажности. Источник: РМГ 75 2004: Государственная система обеспечения еди … Словарь-справочник терминов нормативно-технической документации
текст — ТЕКСТ понятие лингвистики, получившее общеметодологическое и междисциплинарное значение в современной философии и науке. Гуманитарные науки, следуя естественнонаучному идеалу знания, обозначили свою специфику путем выделения специального… … Энциклопедия эпистемологии и философии науки
